categorische logica 1.0
de logica als categorische constructie
Algemene voorbeelden
Een belangrijke Utrechtse specialiteit is de zogeheten Categorische Logica. Een categorie bestaat uit een collectie objecten, en een collectie morfismen; elk morfisme "gaat" van een object naar een ander object.
Categorische Logica ziet de Logica als een categorische constructie.